Smart Play-out of Behavioral Requirements
نویسندگان
چکیده
We describe a methodology for executing scenario-based requirements of reactive systems, focusing on “playing-out” the behavior using formal verification techniques for driving the execution. The methodology is implemented in full in our play-engine tool. The approach appears to be useful in many stages in the development of reactive systems, and might also pave the way to systems that are constructed directly from their requirements, without the need for intra-object or intra-component modeling or coding.
منابع مشابه
How Hard is Smart Play - Out ? On the Complexity of Verification - Driven Execution ∗
Smart play-out is a method for executing declarative scenario-based requirements, which utilizes powerful model-checking or planning algorithms to run the scenarios and avoid some of the violations that can be caused by näıve execution. In this paper, we investigate the complexity of smart play-out. Specifically, we use a reduction from QBF in order to show that smart play-out for a most basic ...
متن کاملAn Exploration of Factors Affecting the Acceptance of Smart Healthcare Devices Using Integrated Technology Acceptance Model
Introduction: Recently, the Internet of Things (IoT) allows patients and healthcare providers to transfer the treatment process to the patients and enables them to manage the disease and receive help from the healthcare team and mobile devices. This has been considered as a promising solution to improve the quality of healthcare. The objective of this study was to investigate the factors affect...
متن کاملAn Exploration of Factors Affecting the Acceptance of Smart Healthcare Devices Using Integrated Technology Acceptance Model
Introduction: Recently, the Internet of Things (IoT) allows patients and healthcare providers to transfer the treatment process to the patients and enables them to manage the disease and receive help from the healthcare team and mobile devices. This has been considered as a promising solution to improve the quality of healthcare. The objective of this study was to investigate the factors affect...
متن کاملCapturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach
A powerful methodology for specifying scenario-based requirements of reactive systems is described, in which the behavior is \played in" directly from the system's GUI or some abstract version thereof, and can then be \played out". The approach is supported and illustrated by a tool, which we call the play-engine. As the requirements are played in, the play-engine automatically generates a form...
متن کاملAccelerating Smart Play-Out
Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by näıve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by form...
متن کامل